Reference Architecture, Metamodel, and Modeling Principles for Architectural Knowledge Management in Information Technology Services Olaf Zimmermann1,2, Christoph Miksovic1, Jochen M. Küster1 1 IBM Research GmbH

Source URL: ifsoftware.ch

• Method engineering
• Design
• Information science
• Science
• Service-oriented architecture
• Knowledge management
• Information Services Procurement Library
• Enterprise architecture
• Information technology management
• Management
• Information systems

Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER

Source URL: www.cs.cornell.edu

• Mathematical logic
• Büchi automaton
• First-order logic
• Finite-state machine
• FO
• Function
• Nested word
• Muller automaton
• Automata theory
• Theoretical computer science
• Mathematics

Dynamic and Graphical Web Page Breakpoints John J. Barton Jan Odvarko IBM Research - Almaden

Source URL: getfirebug.com

• Mozilla add-ons
• Debugging
• Debuggers
• Firebug
• Ajax
• Breakpoint
• JavaScript
• Program animation
• DOM Inspector
• Software
• Computer programming
• Computing

IBM Research GmbH Säumerstrasse 4 CH[removed]Rüschlikon http://www.zurich.ibm.com/ Einkaufsbedingungen

Source URL: www.zurich.ibm.com

FACT SHEET FACT SHEET NANOTECHNOLOGY

Source URL: www.zurich.ibm.com

• IBM Zurich Research Laboratory
• Computing
• Binnig and Rohrer Nanotechnology Center
• IBM
• Gerd Binnig
• Heinrich Rohrer
• Nanotechnology
• IBM cloud computing
• Nobel laureates in Physics
• Science
• Technology

PRACE and HPC Centres of Excellence working in synergy Sergi Girona PRACE Director PRACE: the European HPC Research Infrastructure

Source URL: www.prace-ri.eu

• Power Architecture
• Parallel computing
• Partnership for Advanced Computing in Europe
• Spanish Supercomputing Network
• Supercomputers
• Cell
• Blue Gene
• Central processing unit
• MareNostrum
• Computing
• IBM
• Computer architecture

I Throw Itching Powder at Tulips Richard P. Gabriel IBM Research [removed] Abstract

Source URL: www.dreamsongs.com

• Software project management
• Software requirements
• Software development process
• Extreme programming
• Requirement
• Software development
• Software
• Agile software development

A Comprehensive Review of Research Evaluating the Effectiveness fo DISCOVER in Promoting Career Development

Source URL: act.org

• Minicomputer
• Hewlett-Packard
• Operating system
• DOS
• APL
• IBM DB2
• Computing
• Software
• MS-DOS

A Scalable Method for Access Control in Location-Based Broadcast Services Mudhakar Srivatsa† , Arun Iyengar† , Jian Yin‡ and Ling Liu‡ IBM T.J. Watson Research Center† College of Computing, Georgia Tech†

Source URL: www.cc.gatech.edu

• Computer security
• XTR
• Key size
• Group key
• Diffie–Hellman key exchange
• Key distribution
• Security
• Key management
• Cyberwarfare
• Key distribution center

Damia – A Data Mashup Fabric for Intranet Applications Mehmet Altinel, Paul Brown, Susan Cline, Rajesh Kartha, Eric Louie, Volker Markl, Louis Mau, Yip-Hing Ng, David Simmen, Ashutosh Singh IBM Almaden Research Center

Source URL: www.vldb.org

• Web 2.0
• Web services
• Mashup
• Web development
• Software architecture
• Yahoo! Pipes
• Web data services
• Atom
• Data feed
• World Wide Web
• Computing
• Centralized computing